Using Maple's RegularChains Library to Automatically Classify Plane Geometric Loci
نویسندگان
چکیده
We report a preliminary discussion on the usability of the RegularChains library of Maple for the automatic computation of plane geometric loci and envelopes in graphical interactive environments. We describe a simple implementation of a recently proposed taxonomy of algebraic loci, and its extension to envelopes of families of curves is also discussed. Furthermore, we sketch how currently unsolvable problems in interactive environments can be approached by using the RegularChains library.
منابع مشابه
Deciding Nonnegativity of Polynomials by MAPLE
There have been some effective tools for solving (constant/parametric) semi-algebraic systems in Maple’s library RegularChains since Maple 13. By using the functions of the library, e.g., RealRootClassification, one can prove and discover polynomial inequalities. This paper is more or less a user guide on using RealRootClassification to prove the nonnegativity of polynomials. We show by example...
متن کاملCylindrical Algebraic Decomposition in the RegularChains Library
Cylindrical algebraic decomposition (CAD) is a fundamental tool in computational real algebraic geometry and has been implemented in several software. While existing implementations are all based on Collins’ projection-lifting scheme and its subsequent ameliorations, the implementation of CAD in the RegularChains library is based on triangular decomposition of polynomial systems and real root i...
متن کاملEfficient Computations of Irredundant Triangular Decompositions with the RegularChains Library
We present new functionalities that we have added to the RegularChains library in Maple to efficiently compute irredundant triangular decompositions. We report on the implementation of different strategies. Our experiments show that, for difficult input systems, the computing time for removing redundant components can be reduced to a small portion of the total time needed for solving these syst...
متن کاملUsing the Regular Chains Library to Build Cylindrical Algebraic Decompositions by Projecting and Lifting
Cylindrical algebraic decomposition (CAD) is an important tool, both for quantifier elimination over the reals and a range of other applications. Traditionally, a CAD is built through a process of projection and lifting to move the problem within Euclidean spaces of changing dimension. Recently, an alternative approach which first decomposes complex space using triangular decomposition before r...
متن کاملReal Quantifier Elimination in the RegularChains Library
Quantifier elimination (QE) over real closed fields has found numerous applications. Cylindrical algebraic decomposition (CAD) is one of the main tools for handling quantifier elimination of nonlinear input formulas. Despite of its worst case doubly exponential complexity, CAD-based quantifier elimination remains interesting for handling general quantified formulas and producing simple quantifi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2014